#include <inttypes.h>
#include "global.h"
#include "driver/gpio.h"
#include "../__generated/glue_gpio.h"

void halGpioWrite(int32_t pin, int32_t level)
{
    gpio_set_level(pin, level);
}

void halGpioPinMode(int32_t pin, int32_t mode)
{
    gpio_set_direction(pin, mode);
}
